.table-wrap-box {
    margin-top: 16px;
    height: calc(100% - 18px);
}

.side-wrap {
    height: 100%;
    border-right: 1px solid #e6e6e6;
}

.el-tree--highlight-current .el-tree-node.is-current > .el-tree-node__content {
    color: #409EFF;
    background-color: #ecf5ff !important;
}

.tree-node-text {
    font-size: 14px !important;
}

.main-wrap {
    padding: 5px 0 10px 15px;
}

.el-textarea__inner {
    font-family: Consolas,sans-serif;
    font-size: 15px;
}

.el-card__body {
    padding: 10px;
}

.el-main {
    padding-left: 3px;
    padding-right: 5px;
}
